『［2021CAPE公開セミナー］論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」』 - pogi-log

『［2021CAPE公開セミナー］論理学上級 Ⅱ-4「認識論の機械化：証明の正規化と証明支援系」』

↑CAPE公開セミナー

← 『［2021CAPE公開セミナー］論理学上級 Ⅱ-3 証明論的意味論としてのマーティン・レーフの構成的型理論』

https://www.youtube.com/watch?v=BXMMzRkDbac